23 results
ON COHESIVE POWERS OF LINEAR ORDERS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 13 March 2023, pp. 947-1004
- Print publication:
- September 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
INTERPRETING A FIELD IN ITS HEISENBERG GROUP
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 23 December 2021, pp. 1215-1230
- Print publication:
- September 2022
-
- Article
- Export citation
Index
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 337-346
-
- Chapter
- Export citation
Logic and Algebraic Structures in Quantum Computing
-
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016
Contents
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp v-vi
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp vii-viii
-
- Chapter
- Export citation
Introduction
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 1-7
-
- Chapter
- Export citation
1 - A (very) brief tour of quantum mechanics, computation, and category theory
-
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp 8-22
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic and Algebraic Structures in Quantum Computing
- Published online:
- 05 June 2016
- Print publication:
- 26 February 2016, pp i-iv
-
- Chapter
- Export citation
Computable model theory
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 124-194
-
- Chapter
- Export citation
Isomorphism relations on computable structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-132
- Print publication:
- March 2012
-
- Article
- Export citation
Computability of Fraïssé limits
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-93
- Print publication:
- March 2011
-
- Article
- Export citation
Intrinsic bounds on complexity and definability at limit levels
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1047-1060
- Print publication:
- September 2009
-
- Article
- Export citation
Π10 classes and strong degree spectra of relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1003-1018
- Print publication:
- September 2007
-
- Article
- Export citation
Spectra of structures and relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-348
- Print publication:
- March 2007
-
- Article
- Export citation
Bounding homogenous models
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-323
- Print publication:
- March 2007
-
- Article
- Export citation
2005–06 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 613-624
- Print publication:
- December 2006
-
- Article
- Export citation
Π11 relations and paths through
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 585-611
- Print publication:
- June 2004
-
- Article
- Export citation
Computability-Theoretic Complexity of Countable Structures
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 457-477
- Print publication:
- December 2002
-
- Article
- Export citation
Sequences of n-diagrams
-
- Journal:
- The Journal of Symbolic Logic / Volume 67 / Issue 3 / September 2002
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1227-1247
- Print publication:
- September 2002
-
- Article
- Export citation